essential proposition

【逻辑学】本质命题